fonction à décroissance rapide : fonction telle que son produit par une fonction polynomiale quelconque est borné à l'infini
(Fonction polynômiale, Ensemble borné, Limite en l’infini)
\(x\mapsto e^{-\lvert x\rvert}\) est une fonction à décroissance rapide